/*
 * init.h
 *
 *  Created on: Nov 30, 2013
 *      Author: Nishanth
 */

#ifndef INIT_H_
#define INIT_H_

int uart0_dbg_init();
int printk(char *fmt, ...);
int intLibInit();
int _MmuInit();


#endif /* INIT_H_ */
